// read configuration
if (typeof ALVEOLE=="undefined")
	var ALVEOLE = {};

if (typeof ALVEOLE.baseaddress=="undefined")
	ALVEOLE.baseaddress="http://localhost:8080/alveole/";

// load gui features
document.write('<script type="text/javascript" src="' + ALVEOLE.baseaddress + 'alveolegui.js"></script>');
document.write('<script type="text/javascript" src="' + ALVEOLE.baseaddress + 'alveolelocalmain.js"></script>');
